Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2

Source URL: www.cs.bham.ac.uk

• Logic in computer science
• Lambda calculus
• Process calculi
• Π-calculus
• Bisimulation
• Combinatory logic
• Fixed-point combinator
• Sheaf
• Theoretical computer science
• Applied mathematics
• Mathematics

MATH 205B REVIEW HOMEWORK Definitions — give precise definitions for these terms. 1. Path homotopy. 2. Functor. 3. Covering space.

Source URL: math.ucr.edu

• Algebraic topology
• Topological graph theory
• Deformation retract
• Homotopy
• Contractible space
• Covering space
• Homeomorphism
• Seifert–van Kampen theorem
• Brouwer fixed-point theorem
• Topology
• Mathematics
• Homotopy theory

A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University

Source URL: schemeworkshop.org

• Lambda calculus
• Recursion
• Subroutines
• Computability theory
• Theoretical computer science
• Higher-order abstract syntax
• Fixed-point combinator
• Scheme
• Continuation-passing style
• Software engineering
• Computing
• Computer programming

PRE-PRINT: RS Olson, M Mirmomeni, T Brom, E Bruger, A Hintze, DB Knoester, C Adami. “Evolved digital ecosystems: Dynamic steady state, not optimal fixed point”, Proceedings of the 12th European Conference on Artifici

Source URL: adamilab.msu.edu

BRICS RSM. Goldberg: On the Recursive Enumerability of Fixed-Point Combinators BRICS Basic Research in Computer Science

Source URL: www.brics.dk

20th Nordic Mathematical Contest Thursday March 30, 2006 English version Time allowed: 4 hours. Each problem is worth 5 points. Problem 1. Let B and C be points on two fixed rays emanating from a point A such that AB + A

Source URL: www.georgmohr.dk

Parameterizations and Fixed-Point Operators on Control Categories Yoshihiko Kakutani1 and Masahito Hasegawa1 2 1 Research Institute for Mathematical Sciences, Kyoto University

Source URL: www.kurims.kyoto-u.ac.jp

IOSR Journal of Mathematics (IOSR-JM) e-ISSN: , p-ISSN: 2319-765X. Volume 11, Issue 3 Ver. I (May - Jun. 2015), PPwww.iosrjournals.org Common Fixed Point Theorems for Four Weakly Compatible SelfMappings i

Source URL: www.iosrjournals.org

Under consideration for publication in Math. Struct. in Comp. Science Characteristic Formulae for Fixed-Point Semantics: A General Framework L U C A A C E T O1 A N N A I N G O L F D O T T I R1 P A U L B L A I N L E V Y2

Source URL: www.cs.bham.ac.uk